http://mina7.net/en/grant/6024,the-masters-program-in-logic-and-computation-in-austria